3f754fa894d26f2d3f12a859c10c89af8fefd496,tests/it.xsemantics.dsl.tests/xsemantics-gen/it/xsemantics/test/fj/lambda/FjTestsForLambdas.java,FjTestsForLambdas,applyRuleExistsSubtypeWithLambda,#RuleEnvironment#RuleApplicationTrace#ClassType#ClassType#,114

Before Change


  }
  
  protected Result<Boolean> applyRuleExistsSubtypeWithLambda(final RuleEnvironment G, final RuleApplicationTrace _trace_, final ClassType left, final ClassType right) throws RuleFailedException {
    it.xsemantics.example.fj.fj.Class _classref = left.getClassref();
    List<it.xsemantics.example.fj.fj.Class> _superclasses = this.superclassesInternal(_trace_, _classref);
    List<it.xsemantics.example.fj.fj.Class> _reverseView = ListExtensions.<it.xsemantics.example.fj.fj.Class>reverseView(_superclasses);
    final Function1<it.xsemantics.example.fj.fj.Class, Boolean> _function = new Function1<it.xsemantics.example.fj.fj.Class, Boolean>() {
      public Boolean apply(final it.xsemantics.example.fj.fj.Class it) {
        /* G |- it <| right.classref */

After Change


    }
  }
  
  protected Result<Boolean> applyRuleExistsSubtypeWithLambda(final RuleEnvironment G, final RuleApplicationTrace _trace_, final ClassType left, final ClassType right) throws RuleFailedException {
    final Function1<it.xsemantics.example.fj.fj.Class, Boolean> _function = new Function1<it.xsemantics.example.fj.fj.Class, Boolean>() {
      public Boolean apply(final it.xsemantics.example.fj.fj.Class it) {
        /* G |- it <| right.classref */
        it.xsemantics.example.fj.fj.Class _classref = right.getClassref();
        boolean _ruleinvocation = subclassSucceeded(G, _trace_, it, _classref);
        return Boolean.valueOf(_ruleinvocation);
      }
    };
    /* left.classref.superclasses.reverseView.exists[ G |- it <| right.classref ] */
    if (!IterableExtensions.<it.xsemantics.example.fj.fj.Class>exists(ListExtensions.<it.xsemantics.example.fj.fj.Class>reverseView(this.superclassesInternal(_trace_, left.getClassref())), _function)) {
      sneakyThrowRuleFailedException("left.classref.superclasses.reverseView.exists[ G |- it <| right.classref ]");
    }
    return new Result<Boolean>(true);